Đại số đường đi Leavitt là gì? Cấu trúc và hệ thức sinh

Đại số đường đi Leavitt (Leavitt path algebra) là một lớp đại số kết hợp phi giao hoán được xây dựng từ một đồ thị có hướng trên một trường, đóng vai trò đại số hóa đại số Cuntz-Krieger trong giải tích hàm.

Lịch sử hình thành và vị trí trong lý thuyết vành đại số

Năm 1962, nhà toán học William Leavitt đã giới thiệu các đại số tự do không có tính chất số chiều bất biến của mô đun tự do (Invariable Basis Number - IBN). Hơn bốn mươi năm sau, vào khoảng năm 2005, hai nhóm nghiên cứu độc lập của Gene Abrams - Gonzalo Aranda Pino và Pere Ara - Maria Angeles Moreno - Enrique Pardo đã phát triển khái niệm đại số đường đi Leavitt gắn với một đồ thị có hướng bất kỳ trên một trường tùy ý.

Cấu trúc này tạo nên một cây cầu nối sâu sắc giữa đại số không giao hoán, lý thuyết đồ thị có hướng, hình học không giao hoán và lý thuyết toán tử đại số $C^*$.

Định nghĩa toán học và các hệ thức sinh cơ bản

Cho một đồ thị có hướng $E = (E^0, E^1, r, s)$, trong đó $E^0$ là tập hợp các đỉnh, $E^1$ là tập hợp các cạnh có hướng, cùng với các ánh xạ nguồn $s: E^1 o E^0$ và ánh xạ đích $r: E^1 o E^0$. Cho $K$ là một trường bất kỳ. Đại số đường đi Leavitt ký hiệu là $L_K(E)$ là đại số tự do sinh bởi tập hợp đỉnh $E^0$, tập cạnh $E^1$ cùng với tập các cạnh bóng ma $\{(e)^*: e \in E^1\}$, thỏa mãn các hệ thức cấu trúc sau:

1. Hệ thức trực giao giữa các đỉnh: Với mọi đỉnh $v, w \in E^0$, ta có $v \cdot w = \delta_{v,w} v$ (trong đó $\delta_{v,w}$ là ký hiệu Kronecker).
2. Hệ thức nguồn và đích của cạnh: Với mọi cạnh $e \in E^1$, ta có $s(e) \cdot e = e \cdot r(e) = e$ và $r(e) \cdot e^* = e^* \cdot s(e) = e^*$.
3. Hệ thức Cuntz-Krieger thứ nhất (CK-1): Với mọi cặp cạnh $e, f \in E^1$, ta có:
   $$e^* \cdot f = \delta_{e,f} r(e)$$
4. Hệ thức Cuntz-Krieger thứ hai (CK-2): Với mọi đỉnh $v \in E^0$ phát ra hữu hạn các cạnh và tập cạnh phát xuất không rỗng, ta có:
   $$v = \sum_{e \in s^{-1}(v)} e \cdot e^*$$

Bảng đối chiếu cấu trúc hình học của đồ thị và tính chất đại số

Đặc trưng hình học của đồ thị $E$	Điều kiện đồ thị học	Tính chất đại số tương ứng của $L_K(E)$	Hệ quả cấu trúc
Không có chu trình	Mọi đường đi đều hữu hạn bước	Đại số hữu hạn chiều dạng ma trận khối	Là đại số nửa đơn cổ điển (semisimple)
Thỏa mãn Điều kiện (L)	Mọi chu trình đều có ít nhất một lối thoát	Mọi i-đê-an khác không đều chứa đỉnh	Trực tiếp quyết định tính đơn của vành
Đồ thị liên thông mạnh	Tồn tại đường đi giữa hai đỉnh bất kỳ	Đại số là vành đơn giản (simple ring) khi thỏa (L)	Không chứa i-đê-an hai phía thực sự
Chu trình không có lối thoát	Chu trình cô lập không nối ra ngoài	Chứa vành con đẳng cấu với vành đa thức Laurent	Xuất hiện i-đê-an vô hạn chiều

Ý nghĩa và ứng dụng trong toán học hiện đại

Đại số đường đi Leavitt cung cấp các ví dụ cụ thể giải quyết nhiều phỏng đoán lâu đời trong lý thuyết vành không giao hoán, đặc biệt liên quan đến cấu trúc của nhóm K đại số (Algebraic K-theory). Nghiên cứu phân loại các đại số này thông qua bất biến K-theory tương ứng chính là phiên bản đại số thuần túy của Chương trình phân loại Elliott nổi tiếng trong lý thuyết $C^*$-đại số.